formal lower-bound

un. 形式下界